Michael Huth: cercare sul sito Z-Library

Accesso libero alla conoscenza e alla cultura.

Don't use scam websites

Libri (17)
Più popolari
Lista
- Lista
- Tabella

1

Logic in computer science: modelling and reasoning about systems

Logic in computer science: modelling and reasoning about systems

Cambridge University Press

Michael Huth, Mark Ryan

Anno:

2004

Lingua:

english

File:

PDF, 2.04 MB

5.0 / 0

english, 2004

2

Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Edition

Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Edition

Michael Huth, Mark Ryan

Anno:

2004

Lingua:

english

File:

PDF, 2.15 MB

5.0 / 5.0

english, 2004

3

Logic in computer science: modelling and reasoning about systems

Logic in computer science: modelling and reasoning about systems

Cambridge University Press

Michael Huth, Mark Ryan, M. Huth, M. Ryan

Anno:

1999

Lingua:

english

File:

PDF, 65.36 MB

0 / 0

english, 1999

4

A Concise Dictionary of the Avant-Gardes

A Concise Dictionary of the Avant-Gardes

Richard Kostelanetz, Richard Carlin, Mark Daniel Cohen, Geof Huth, Gerald Janecek, Katy Matheson, Gloria S. McDarrah, Fred W. McDarrah, Michael Peters, John Rocco, Igor Satanovsky, Nicolas Slonimsky, Fred Truck

Anno:

2019

Lingua:

english

File:

PDF, 2.01 MB

5.0 / 5.0

english, 2019

5

Supply Chain Resilience: Reconceptualizing Risk Management in a Post-Pandemic World

Supply Chain Resilience: Reconceptualizing Risk Management in a Post-Pandemic World

Omera Khan, Michael Huth, George A. Zsidisin, Michael Henke

Anno:

2022

Lingua:

english

File:

PDF, 5.87 MB

0 / 5.0

english, 2022

6

Secure Communicating Systems: Design, Analysis, and Implementation

Secure Communicating Systems: Design, Analysis, and Implementation

Cambridge University Press

Michael R. A. Huth

Anno:

2001

Lingua:

english

File:

PDF, 22.34 MB

0 / 0

english, 2001

7

AutoCAD programmieren mit VBA : Einführung, Anwendung, Referenz

AutoCAD programmieren mit VBA : Einführung, Anwendung, Referenz

Karsten Dummer, Michael Huth

Anno:

2003

Lingua:

german

File:

PDF, 5.38 MB

0 / 0

german, 2003

8

Appraisal and acquisition strategies

Appraisal and acquisition strategies

Society of American Archivists

Barnard, Megan, Faulder, Erin, Huth, Geof, Prom, Christopher J., Shallcross, Michael

Anno:

2016

Lingua:

english

File:

PDF, 1003 KB

0 / 0

english, 2016

9

Risikomanagement in der Logistik: Konzepte – Instrumente – Anwendungsbeispiele

Risikomanagement in der Logistik: Konzepte – Instrumente – Anwendungsbeispiele

Michael Huth, Frank Romeike (eds.)

Anno:

2016

Lingua:

german

File:

PDF, 14.82 MB

0 / 0

german, 2016

10

Logic in Computer Science : Modelling and Reasoning about Systems

Logic in Computer Science : Modelling and Reasoning about Systems

Cambridge University Press

Michael Huth, Mark Ryan

Anno:

2004

Lingua:

english

File:

PDF, 1.74 MB

5.0 / 0

english, 2004

11

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedi

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedi

Springer-Verlag Berlin Heidelberg

Rance Cleaveland (auth.), Orna Grumberg, Michael Huth (eds.)

Anno:

2007

Lingua:

english

File:

PDF, 8.60 MB

0 / 0

english, 2007

12

Trust and Trustworthy Computing: 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings

Trust and Trustworthy Computing: 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Zongwei Zhou, Jun Han, Yue-Hsun Lin, Adrian Perrig, Virgil Gligor (auth.), Michael Huth, N. Asokan, Srdjan Čapkun, Ivan Flechais, Lizzie Coles-Kemp (eds.)

Anno:

2013

Lingua:

english

File:

PDF, 7.36 MB

0 / 0

english, 2013

13

Secure Communicating Systems: Design, Analysis, and Implementation

Secure Communicating Systems: Design, Analysis, and Implementation

Cambridge University Press

Michael R. A. Huth

Anno:

2001

Lingua:

english

File:

DJVU, 2.51 MB

0 / 0

english, 2001

14

Tools and Algorithms for the Construction and Analysis of Systems. 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences onTheoryandPracticeofSoftware,ETAPS2007 Braga, Portugal, March 24 -April 1, 2007 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems. 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences onTheoryandPracticeofSoftware,ETAPS2007 Braga, Portugal, March 24 -April 1, 2007 Proceedings

Orna Grumberg, Michael Huth (eds.)

Anno:

2007

Lingua:

english

File:

PDF, 8.60 MB

0 / 4.0

english, 2007

15

面向计算机科学的数理逻辑系统建模与推理英文版·第2版

面向计算机科学的数理逻辑系统建模与推理英文版·第2版

北京：机械工业出版社

（英）胡思（Huth，M.）伦敦帝国学院（MICHAELHuth）著, (英)Michael Huth, (英)Mark Ryan著, Th Hu, An Ry, 胡思 Michael Huth

Anno:

2005

Lingua:

Chinese

File:

PDF, 14.10 MB

0 / 0

Chinese, 2005

16

Mathematical Foundations of Advanced Informatics. Volume 1 Inductive Approaches

Mathematical Foundations of Advanced Informatics. Volume 1 Inductive Approaches

Bernhard Steffen, Oliver Rüthing, Michael Huth

Anno:

2018

Lingua:

english

File:

PDF, 2.54 MB

0 / 0

english, 2018

17

Risikomanagement der Gefahrgutbeförderung: Einsatzpotential eines GIS-basierten Entscheidungsunterstützungssystems

Risikomanagement der Gefahrgutbeförderung: Einsatzpotential eines GIS-basierten Entscheidungsunterstützungssystems

Deutscher Universitätsverlag

Michael Huth (auth.)

Anno:

2004

Lingua:

german

File:

PDF, 14.44 MB

0 / 0

german, 2004